Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
411	489 Documenta Math. Motivic Functors ¨ ndigs, Paul Arne Østvær Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 11:48:08 Mathematics Abstract algebra Algebra Homotopy theory Category theory Functors Algebraic topology Adjoint functors Model category Simplicial presheaf Bousfield localization Simplicial set
412	Microsoft Word - OnlineAppendix_1_15_09.doc Add to Reading List Source URL: eml.berkeley.edu Language: English - Date: 2009-01-16 12:38:37 Statistics Regression analysis Estimation theory Statistical theory Statistical inference Observational study Propensity score matching Median Errors and residuals Standard deviation Statistical hypothesis testing Fixed effects model
413	Regional Research Institute West Virginia University Technical Document Series Using a Spreadsheet SAM for GAMS CGE Modeling Add to Reading List Source URL: rri.wvu.edu Language: English - Date: 2014-12-17 16:53:05 Mathematics Computer algebra systems General Algebraic Modeling System Computable general equilibrium Social accounting matrix Gams Economic model Spreadsheet Parameter Variable General equilibrium theory Draft:Extended mathematical programming
414	Models of Science Dynamics Add to Reading List Source URL: cns.iu.edu Language: English - Date: 2012-06-15 09:36:14 Systems science Complex systems theory Simulation Science Systems theory Applied mathematics Operations research Economic model Mathematical model Agent-based model Stochastic
415	network SUMMER BRAIN CAMP Add to Reading List Source URL: calgaryreads.com Language: English - Date: 2016-06-23 14:54:46 FO Finite model theory Obfuscation
416	Using Free Energy Perturbation Calculations to Model the Mutation of LeuTAa and mDAT Residues that Bind TCAs Add to Reading List Source URL: www.csb.pitt.edu Language: English - Date: 2013-11-27 16:23:35 Computational chemistry Mathematical physics Chemistry Physics Applied mathematics Free energy perturbation Q Perturbation theory Tricyclic antidepressant Free energy
417	New Developments of Organizational Cybernetics after Stafford Beer, 6th Metaphorum Conference Add to Reading List Source URL: www.metaphorum.org Language: English - Date: 2007-03-24 11:40:48 Cybernetics Systems science Cognitive science Viable system model Stafford Beer Syntegrity Second-order cybernetics Systems theory Fredmund Malik Systems thinking Variety Allenna Leonard
418	© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2015-12-22 08:58:47 Chemistry Computational science Building engineering Nature Control theory Cybernetics Model predictive control Power system simulation HVAC Mathematical optimization Constraint algorithm Heat transfer
419	Social Networks–96 The accuracy of small world chains in social networks Peter D. Killworth a,∗ , Christopher McCarty b , H. Russell Bernard c , Mark House b Add to Reading List Source URL: nersp.nerdc.ufl.edu Language: English - Date: 2007-06-20 07:27:56 Graph theory Mathematics Network theory Networks Edsger W. Dijkstra Shortest path problem Small-world network Peter Killworth Markov chain Conceptual model Path
420	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem

UPDATE